filmov
tv
Artifacts Evaluated — Reusable
0:04:40
A formal foundation for symbolic evaluation with merging (Teaser)
0:14:03
Community Expectations for Research Artifacts and Evaluation Processes (Video, ESEC/FSE 2020)
0:02:02
Community Expectations for Research Artifacts and Evaluation Processes (Teaser, ESEC/FSE 2020)
0:30:01
NSF Sharing Expertise and Artifacts for Reuse Through Cybersecurity Community Hub SEARCCH
0:37:01
Birds of a Feather: Sharing Cybersecurity Research Artifacts To Accelerate Progress
0:29:01
Building Interactive Apps with Claude 3.5 Sonnet & Artifacts
0:04:57
Type-Level Programming with Match Types (Teaser)
0:15:08
[ICFP'22] Staged Compilation with Two-Level Type Theory
0:16:36
[ICFP'22] Generating Circuits with Generators
0:14:35
[ICFP'22] Modular Probabilistic Models via Algebraic Effects
0:05:00
The Decidability and Complexity of Interleaved Bidirected Dyck Reachability (Teaser)
0:04:56
Relational E-Matching (Teaser)
0:23:05
[POPL'22] Verified Compilation of C Programs with a Nominal Memory Model
0:06:09
ASPLOS'20 - Introduction to the conference by the PC chairs -- Prof. Luis Ceze and Karin Strauss
0:35:27
Eclipse Artifacts on Maven Central | EclipseCon Europe 2018
0:04:57
Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs (Teaser)
0:47:49
Advanced Spinnaker Lab 1: SpEL & Artifacts
0:04:58
Truly Stateless, Optimal Dynamic Partial Order Reduction (Teaser)
0:04:53
Verified Tensor-Program Optimization Via High-level Scheduling Rewrites (Teaser)
0:40:39
Wes Lambert - Endpoint Excavation: Digging Through Host Artifacts with Velociraptor
0:18:50
[PLDI24] Associated Effects: Flexible Abstractions for Effectful Programming
0:18:45
[POPL'22] A Separation Logic for Heap Space under Garbage Collection
0:04:36
Solving Constrained Horn Clauses Modulo Algebraic Data Types and Recursive Functions (Teaser)
0:15:05
[ICFP'22] Safe Couplings: Coupled Refinement Types
Вперёд
join shbcf.ru